Recenzja książki: Magdalena Szpunar (2016) Kultura cyfrowego narcyzmu. Kraków: Wydawnictwa AGH
نویسندگان
چکیده
منابع مشابه
An undecidability result for AGh
We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...
متن کاملChoosing an Appropriate Sensor for the Designed Shm System Based on Lamb Waves Propagation
JANUSZ OCHONSKI Department of Robotics and Mechatronics AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Kraków [email protected] LUKASZ AMBROZINSKI Department of Robotics and Mechatronics AGH University of Science and Technology Al. Mickiewicza 30, 30-059 Kraków [email protected] ANDRZEJ KLEPKA Department of Robotics and Mechatronics AGH University of Sc...
متن کاملStéphanie Delaune An Undecidability Result for AGh
We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...
متن کاملMagdalena Kacprzak Alessio
We present an approach to the problem of verification of epistemic properties in multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we base our discussion on interpreted systems semantics, a popular semantics used in multi...
متن کاملKultura U Migrantskim I Manjinskim Zajednicama
This article explores the conditions that are required for a fully developed cultural and artistic activity (production, consumption and reception) going on within or in vital connection with the immigrant community. Drawing on the experience of Slovenian emigrant communities in other European countries, Australia, Argentina, Canada, the United States, Africa and the Arabian Peninsula, and the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Przegląd Socjologii Jakościowej
سال: 2017
ISSN: 1733-8069
DOI: 10.18778/1733-8069.13.4.10